Johannes Kepler - PDFSEARCH.IO - Document Search Engine

Johannes Kepler
Results: 514

#	Item
251	Formal Methods for Knowledge Management in Science Theorema Group RISC, Johannes Kepler University Linz, Austria Presented by Temur Kutsia Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:42 Mathematical logic Formal methods Mathematical proof Epistemology Knowledge management Knowledge base Science Browse Knowledge Automated theorem proving Mathematics
252	Research on Non-radial Oscillations of the Sun and Stars in Early 1970s Add to Reading List Source URL: www.nso.edu Language: English - Date: 2013-05-08 02:19:13 Space telescopes Exoplanetology Discovery program Johannes Kepler Kepler Stellar classification Spacecraft Spaceflight Space technology
253	Asteroseismology, Red Giants, & Eclipsing Binaries Patrick Gaulme New Mexico State University, USA With J. Jackiewicz, J. McKeever, M. Rawls [NMSU], Add to Reading List Source URL: www.nso.edu Language: English - Date: 2013-05-10 02:18:17 Eclipse Johannes Kepler Space Astronomy Eclipsing binaries Binary star
254	Microsoft PowerPoint - gh8.pptx Add to Reading List Source URL: www.nso.edu Language: English - Date: 2013-05-10 02:31:09 Space plasmas Cosmologists Johannes Kepler Solar cycle Turbulence Sun Spectral linewidth Physics Fluid dynamics Plasma physics
255	→ ATV Edoardo amaldi European servicing and logistics vehicle The Automated Transfer Vehicle (ATV) is an unmanned automatic vehicle sent into orbit by the European Ariane 5 launcher. It provides the International Space Add to Reading List Source URL: www.spaceflightnow.com Language: English - Date: 2012-02-27 20:15:01 Automated Transfer Vehicle International Space Station Spacecraft Edoardo Amaldi ATV Payload Ariane 5 ISS Propulsion Module Johannes Kepler ATV Spaceflight Space technology European Space Agency
256	Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930 Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:06 Hagenberg im Mühlkreis Actor model Johannes Kepler Computing Mathematics Bruno Buchberger Symbolic-numeric computation Research Institute for Symbolic Computation Computer science International Conference on Rewriting Techniques and Applications
257	Die Johannes Kepler Universitat Linz Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:44 Structural engineering Structural health monitoring Information systems
258	Bay Area Exoplanet Science Meeting #2 SETI Institute, 189 Bernardo, Mountain View, CA September 21, 2012 DRAFT AGENDA (draft September 9, 2012): 09:30 Add to Reading List Source URL: home.comcast.net Language: English - Date: 2012-09-14 20:05:31 Astronomy SETI Space telescopes Discovery program Johannes Kepler Kepler Extrasolar planet Super-Earth SETI Institute Spaceflight Exoplanetology Spacecraft
259	JOHANNES KEPLER UNIVERSITÄT Add to Reading List Source URL: www.schnitzer.at Language: German - Date: 2011-12-16 06:10:43
260	Johannes-Kepler-Str. 14 D[removed]Mainz Fon: +[removed]89 01 Fax: +[removed]89 09 eMail: [removed] Internet: http://www.kbs-oem.de Add to Reading List Source URL: www.mercateo.com Language: German - Date: 2013-10-22 07:54:20

UPDATE